$\forall$$r$:Rng, $a$:$\mid$$r$$\mid$. ($a$ +$r$ 0) = $a$ \& (0 +$r$ $a$) = $a$